label (it should be a digit).